step(umc1,(umc1,s),tm(s,[pri(naught,[]),pri(naught,[])],pri(lst,[ctxm(alpha_1_,u,bsn,i_bsn,i_bsn),pri(h,[ctxm(alpha_1_,u,bsn,i_bsn,i_bsn)])]))).